Самая большая электронная библиотека рунета. Поиск книг и журналов

The SPIN Model Checker: Primer and Reference Manual

Автор:
Размер книги: 1.33 Mb

NASA Formal Methods - NFM 2011

Автор: , Автор: , Автор: , Автор:
Размер книги: 6.81 Mb

Design And Validation Of Computer Protocols

Автор:
Размер книги: 2.07 Mb

Spin Model Checker

Автор:
Размер книги: 3.91 Mb

Spatial awareness of autonomous embedded systems

Автор:
Размер книги: 2.45 Mb

Social Protection & Labor at the World Bank, 2000-2008

Автор: , Автор:
Категория: economics_finances
Размер книги: 2.81 Mb

Technische Mechanik Kinematik und Kinetik

Автор: , Автор: , Автор:
Размер книги: 4.24 Mb